The preimage theorem

Given a smooth map $f : X \to Y$ between two manifolds,